Non-axiomatizability of Real Spectra in L∞λ
نویسندگان
چکیده
We show that the property of a spectral space, to be a spectral subspace of the real spectrum of a commutative ring, is not expressible in the infinitary first order language L∞λ of its defining lattice. This generalises a result of Delzell and Madden which says that not every completely normal spectral space is a real spectrum.
منابع مشابه
بررسی برهم‌کنش کائون- دوترون و ساختار تشدید (1405) Λ با استفاده از روش فدیف
In this paper, we have investigated the kaon-deuteron interaction at an incident momentum of 1 GeV/c using the relativistic and non-relativistic Faddeev method for different phenomenological and chiral potentials. By calculating the π∑ invariant mass spectra on different particle channels, we have shown that the trace of Λ(1405) resonance is visible in such spectra. In the present work, the st...
متن کاملThe complete menu of eligible metrics for a family of toy Hamiltonians H 6 = H † with real spectra
An elementary set of non-HermitianN byN matricesH(λ) 6= [ H(λ) ]† with real spectra is considered, assuming that each of these matrices represents a selfadjoint quantum Hamiltonian in an ad hoc Hilbert space of states H(physical). The problem of an explicit specification of all of these spaces (i.e., in essence, of all of the eligible ad hoc inner products and metric operators Θ) is addressed. ...
متن کاملScalings of Inverse Energy Transfer and Energy Decay in 3-D Decaying Isotropic Turbulence with Non-rotating or Rotating Frame of Reference
Energy development of decaying isotropic turbulence in a 3-D periodic cube with non-rotating or rotating frames of reference is studied through direct numerical simulation using GPU accelerated lattice Boltzmann method. The initial turbulence is isotropic, generated in spectral space with prescribed energy spectrum E(κ)~κm in a range between κmin and ...
متن کاملDistributive Lattices of λ-simple Semirings
In this paper, we study the decomposition of semirings with a semilattice additive reduct. For, we introduce the notion of principal left $k$-radicals $Lambda(a)={x in S | a stackrel{l}{longrightarrow^{infty}} x}$ induced by the transitive closure $stackrel{l}{longrightarrow^{infty}}$ of the relation $stackrel{l}{longrightarrow}$ which induce the equivalence relation $lambda$. Again non-transit...
متن کاملSimulating polyadic modal logics by monadic ones
We define an interpretation of modal languages with polyadic operators in modal languages that use monadic operators (diamonds) only. We also define a simulation operator which associates a logic Λ in the diamond language with each logic Λ in the language with polyadic modal connectives. We prove that this simulation operator transfers several useful properties of modal logics, such as finite/r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011